More from this Author

Verification - Theory and Practice

by Nachum Dershowitz (Editor), Zohar Manna

Rewriting Techniques and Applications

by Nachum Dershowitz (Editor)

Language, Culture, Computation

by Nachum Dershowitz (Editor), Ephraim Nissan (Editor)

Fields of Logic and Computation II

by Lev D. Beklemishev (Editor), Andreas Blass (Editor), Nachum Dershowitz (Editor), Bernd Finkbeiner (Editor), Wolfram Schulte (Editor)

Language, Culture, Computation

by Nachum Dershowitz (Editor), Ephraim Nissan (Editor)

Language, Culture, Computation: Computational Linguistics and Linguistics

by Nachum Dershowitz (Editor), Ephraim Nissam (Editor)

Unconventional Computation

by Elisabete Freire (Editor), Grzegorz Rozenberg (Editor), Christian S. Calude (Editor), Jose Felix Gomes da Costa (Editor), Nachum Dershowitz (Editor)

Language, Culture, Computation: Computational Linguistics and Linguistics

by Nachum Dershowitz (Editor), Ephraim Nissan (Editor)

Language, Culture, Computation: Computing - Theory and Technology

by Nachum Dershowitz (Editor), Ephraim Nissan (Editor)

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives

by Nachum Dershowitz (Editor), Ephraim Nissan (Editor)

Fields of Logic and Computation II

by Lev D. Beklemishev (Editor), Andreas Blass (Editor), Nachum Dershowitz (Editor), Bernd Finkbeiner (Editor), Wolfram Schulte (Editor)